theory of comptation